symbolic pointer

  • 释义

    符号指示字;符号指针

数据更新时间:2026-04-19 15:30:29
1、

The abstract symbol table-based memory model can overcome main problems of memory models for symbolic execution very well, including the problem of pointer and aliasing, type-unsafe memory accesses and data without concrete size.

基于抽象符号表的内存模型能够很好地解决面向符号执行的内存模型面临的主要问题,包括指针和别名问题、类型不安全的内存访问和大小不确定的数据。

互联网摘选

  • 相关词组
  • 今日热词
  • 热门搜索
  • straight[streɪt] adv.笔直地;直接;adj.直的;整洁的;坦率的;连续的;
  • brand[brænd] n.[商]商标,牌子;烙印;〈比喻〉污名,耻辱;燃烧着的木头;vt.污辱;铭刻于;加商标于;打烙印于;
  • home[həʊm] n.家;家庭;家庭生活;终点;adj.家庭的;家用的;本地的;本部的;
  • ago[əˈgəʊ] adv.以前;过去的;之前;
  • chapter[ˈtʃæptə(r)] n.章回;阶段;时期;全体相关神职人员;分会;
  • percent[pəˈsɛnt] n.百分比,百分之…;部分;<英>利率为…厘的债券(尤指公债)adj.百分之…的,每一百中有…的;按百分之…支付利息的
  • do you marry me 你愿意嫁给我吗
  • pair[peə(r)] n.一双;分两个相连接部分的物体;一对(两个…);一起拉车的两匹马;v.使配对;交配;
  • chigo[ʃɪ'ɡəʊ] n.沙蚤,穿皮潜蚤
  • discipline[ˈdɪsəplɪn] n.训练;纪律;自制力;行为准则;(尤指大学的)学科;v.训练;惩罚;自我约束;
  • shopping[ˈʃɒpɪŋ] n.购物,买东西;工作室,制作室;车间;家庭作坊;vi.选购:为寻找商品或便宜货而逛商店;到处寻找:为得到某物而寻找它;
  • shooting[ˈʃuːtɪŋ] n.枪击;枪杀;狩猎;(电影的)拍摄v.shoot的现在分词;

英语网英语词典(dict.25820.com)为您提供在线翻译英语词典单词大全英译汉汉译英等英语服务!可按单词字数词义分类查询。支持lj:关键词格式查询例句。

用户反馈
请选择反馈类型(可多选):
您的联系方式:
反馈内容:
提交成功 小编会尽快处理
回到顶部
点击反馈